COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20
C00008 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;
\F1\CNov 18, 1978




Dear LISP person:

\JConsidering the increasing interest in LISP, its applications, 
and the growing number of LISP machines, it  seems to me that
an international LISP conference is called for.   Besides having a 
unifying effect within the LISP community, the 
conference proceedings would be a 
consolidated source of information for the broader computer community.
I would like to arrange a LISP conference
for sometime in 1980, probably in the Palo Alto area. 

Considering the scope of LISP-related topics, we should begin to 
organize now. Therefore I am enclosing a zero-order list of topics for your
comments. Please comment on their appropriateness; please suggest other
topics; and please volunteer to help!

Possible Topic areas include:

\F2LISP Machines:\F1 Several full-scale efforts are underway for LISP-like
architectures; several micro-computer implementations are extant
or planned. It would be nice to have as many of these projects represented
as possible.

	   
\F2Education and Philosophy:\F1 This is a general, but
very important "lump area". LISP is an excellent vehicle on which to hang
most of modern computer science. 


\F2Theory:\F1 Several research projects deal with the provability of programs
expressed in LISP-like formalisms; many of these embody their results in
running systems. Work on semantics is also of interest.

	
\F2Applications:\F1 No language can claim a richer and more varied set of applications
than LISP. We should stress non-AI applications; LISP's diversity should be
made more widely known. Applications might include algebraic manipulation
systems, theorem provers  and verifiers, and applications in the  "non-technical"
sciences.


\F2Personal Computation:\F1 I am convinced that one of  LISP's best customers
will be the personal computer population. LISP's interaction, its range of
applications, and its portability, are all superior to the features currently
being attributed to Pascal. By the end of 1979 there will be several articles
on LISP in BYTE magazine, including  a special 
LISP issue in August 1979. These articles
should  spawn many interesting  projects which could be demonstrated at the
 conference.


\F2Future, and Extensions, of LISP:\F1 John Backus' Turing lecture
has spawned much interest in applicative languages.
Several current research efforts deal with purified LISP-like 
languages. Within the AI community LISP has become a systems language
both in the sense of an implementation vehicle for AI languages as well as
the traditional sense of operating systems implementation.


\F2Other:\F1 The above topics are far from  exclusive. I am
sending this announcement to the sample of LISP personages  listed
below; your reactions will dictate much of the next step and as such will
greatly influence the success of the endeavor. Therefore please reflect,
and then respond soon.
\.

\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen   (JRA at SU-AI)
18215 Bayview Dr.
Los Gatos, Ca  95030
(408)353-2227
   or
Signetics Corp.
811 E. Arques Ave. Mail Stop 38
Sunnyvale, Ca 94086
(408)739-7700 X3456
\←S\→L

CC: 
Bruce Anderson,
Bob Boyer,
Dan Freidman,
Eiichi Goto,
Patrick Greussay,
Joachim Laubsch,
John McCarthy,
Vaughan Pratt,
Gianfranco Prini,
Erik Sandewall,
Warren Teitleman,
Pat Winston